Conflicting intentions: rectifying the consistency requirements
نویسندگان
چکیده
منابع مشابه
Requirements, Oughts, Intentions
John Broome’s Rationality Through Reasoning is a book of tremendous scope, moving from foundational questions about reasons, requirements, and oughts to more general issues concerning the architecture of a rational agent and, especially, the process of reasoning through which such an agent could bring itself to satisfy the requirements of rationality. Although Broome explores a number of these ...
متن کاملManaging Conflicting Requirements in Systems of Systems
Software systems have evolved from being stand-alone systems to being composed into Systems of Systems. A System of Systems (SoS) is defined as an arrangement of independently created, discovered, and selected systems, which are integrated into a single system in order to deliver unique capabilities [1]. In this context, each participating system can operate and support different goals in its o...
متن کاملConsistency Conditions for Beliefs and Intentions
Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a beliefintention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define...
متن کاملManaging Conflicting Requirements in Systems of Systems by Adaptation
A System of Systems (SoS) is an arrangement of useful and independent complex systems, which are integrated into a bigger system that delivers unique capabilities [1]. In this context, it is important to notice that each independent system should be capable of operate and fulfil useful purposes on its own environment, but, when these independent systems are together and become a SoS they are ab...
متن کاملModeling and Testing Legacy Data Consistency Requirements
An increasing number of data sources are available on the Internet, many of which offer semantically overlapping data, but based on different schemas, or models. While it is often of interest to integrate such data sources, the lack of consistency among them makes this integration difficult. This paper addresses the need for new techniques that enable the modeling and consistency checking for l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Studies
سال: 2018
ISSN: 0031-8116,1573-0883
DOI: 10.1007/s11098-018-1049-z